2. Algebras and Orders
Author: edited by Ivo G. Rosenberg, Gert Sabidussi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Computational complexity.,Mathematics.
Classification :
QA251
.
E358
1993
3. Automata and computability /
Author: Dexter C. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
Classification :
QA267
.
K69
1997eb
4. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
5. Commutative Algebra, Singularities and Computer Algebra :
Author: edited by Jürgen Herzog, Victor Vuletescu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Commutative algebra -- Congresses.,Singularities (Mathematics) -- Congresses.
6. Design and Analysis of Algorithms :
Author: Sandeep Sen, Indian Institute of Technology, Delhi, Amit Kumar, Indian Institute of Technology, Delhi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.
Classification :
QA9
.
58
.
S454
2019
7. Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
Author: Janusz Czelakowski, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
Classification :
QA29
.
P54
8. Handbook of geometric constraint systems principles /
Author: [edited by] Meera Sitharam, Audrey St. John, Jessica Sidman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometry, Algebraic.,Geometry.,Rigidity (Geometry),Structural design-- Mathematics.,Geometry, Algebraic.,Geometry.,MATHEMATICS-- Geometry-- General.,Rigidity (Geometry)
Classification :
QA640
.
77
.
H36
2019eb
9. Introduction to discrete mathematics via logic and proof /
Author: Calvin Jongsma.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discrete mathematics.,Discrete mathematics.
Classification :
QA297
.
4
10. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993
11. Lukasiewicz-Moisil algebras /
Author: V. Boicescu [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Łukasiewicz algebras.,Łukasiewicz, Algèbres de.,Łukasiewicz algebras.,Lukasiewicz, algèbres de.,MATHEMATICS-- Algebra-- Intermediate.
Classification :
QA10
.
L85
1991eb
12. The Combinatory Programme
Author: by Erwin Engeler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Computer science -- Mathematics.,Computer science.
Classification :
QA9
.
5
B947
1995
13. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
14. Universal Algebra and Applications in Theoretical Computer Science
Author: / Klaus Denecke, Shelly L. Wismath
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Algebra, Universal.,Computer Science _ Mathematics.
Classification :
QA251
.
D
385
15. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebra, Universal,، Computer science-- Mathematics
Classification :
QA
251
.
D385
2002
16. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Algebra, Universal,Mathematics ، Computer science
Classification :
QA
251
.
D385
2002
17. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Central Library and Documentation Center (Semnan)
Subject: ، Algebra, Universal,، Computer scienc--Mathematics
Classification :
QA
251
.
D34U56
2002
18. Universal algebra and applications in theoretical computer science
پدیدآورنده : klaus Denecke, Shelly l. Wismath
موضوع : Algebra, Universal,Computer science - mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
19. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Universal,، Computer science -- Mathematics
Classification :
QA
251
.
D44U54
